5

Truth Definitions in Finite Models

Year:
2004
Language:
english
File:
PDF, 2.01 MB
english, 2004
8

Well-behaved principles alternative to bounded induction

Year:
2004
Language:
english
File:
PDF, 248 KB
english, 2004
15

The strength of sharply bounded induction requires

Year:
2010
Language:
english
File:
PDF, 518 KB
english, 2010
17

Truth definitions in finite models

Year:
2004
Language:
english
File:
PDF, 1.25 MB
english, 2004
19

O- and N-acylureas in peptide synthesis by DCC method. New observations

Year:
1978
Language:
english
File:
PDF, 150 KB
english, 1978
38

Independence results for variants of sharply bounded induction

Year:
2011
Language:
english
File:
PDF, 272 KB
english, 2011
43

FRAGMENTS OF APPROXIMATE COUNTING

Year:
2014
Language:
english
File:
PDF, 459 KB
english, 2014